/FONT#0=BASL30/FONT#1=BASI30
␈↓␈↓↓␈↓↓␈↓ ∧KStanford Artificial Intelligence Laboratory
␈↓ ¬8Interdepartmental Memo

␈↓ ↓H

␈↓ ↓H

␈↓ ↓H
␈↓To:␈↓ α_␈↓ αhWilliam Miller
␈↓ ↓H

␈↓ ↓H
From:␈↓ αhJohn McCarthy
␈↓ ↓H

␈↓ ↓H
Date:␈↓ α_␈↓ αh8 May 1974
␈↓ ↓H

␈↓ ↓H
Subject:␈↓ αhComputer time for CS206 for the coming academic year
␈↓ ↓H

␈↓ ↓H

␈↓ ↓H
␈↓ α_In␈α
1974-75,␈α
it␈α
will␈α
again␈αbe␈αnecessary␈αto␈αfind␈αPDP-10␈αcomputer␈αtime␈αfor␈αCS206␈α-␈αComputing
␈↓ ↓Hwith␈αsymbolic␈αexpressions.␈αAs␈αyou␈αwill␈αremember,␈αthe␈αcourse␈αis␈αtaught␈αin␈αthe␈αFall␈αand␈αin␈αthe␈α
Spring,
␈↓ ↓Hand␈α∩this␈α∩year␈α∩the␈α∩IMSS␈α⊃computer␈α⊃was␈α⊃used␈α⊃at␈α⊃a␈α⊃cost␈α⊃of␈α⊃about␈α⊃$9400␈α⊃for␈α⊃both␈α⊃quarters.␈α⊃This
␈↓ ↓Harrangement␈αworked␈αout␈αwell␈αfor␈αmyself,␈αProfessor␈αGreen␈αwho␈αtaught␈αthe␈αcourse␈αin␈αthe␈αSpring,␈αand
␈↓ ↓Hfor␈α
Professor␈α
Suppes.␈α
Suppes␈α
is␈α
willing␈α
to␈α
continue␈α
the␈α
arrangement␈α
next␈αyear,␈αand␈αthis␈αseems␈αlike
␈↓ ↓Hthe␈α
best␈α
way␈α
to␈α
do␈α
it.

␈↓ α_The␈αalternative␈αto␈αfinding␈αthe␈αmoney␈αis␈α
to␈α
reduce␈α
the␈α
number␈α
of␈α
students␈α
each␈α
time␈α
the␈α
course
␈↓ ↓His␈αtaught␈αfrom␈α60␈αto␈α20␈αand␈αto␈αteach␈αit␈αon␈αthe␈αAI␈αLab␈αmachine␈αor␈αnot␈αto␈αteach␈α
the␈α
course␈α
at␈α
all.␈α
It␈α
is
␈↓ ↓Hnot␈α⊂suitable␈α⊂for␈α⊂batch␈α⊂processing,␈α⊂and␈α⊂SCIP␈α∂last␈α∂year␈α∂quoted␈α∂$21,000␈α∂for␈α∂the␈α∂computer␈α∂time␈α∂not
␈↓ ↓Hcounting␈α
the␈α
use␈α
of␈α
terminals.

␈↓ α_I␈α
hope␈α
that␈α
you␈α
will␈α
again␈α
be␈α
able␈α
to␈α
solve␈α
this␈α
problem.

␈↓ ↓H

␈↓ ↓H

␈↓ ↓H
cc:␈↓ α_Robert Floyd
␈↓ ↓H
␈↓ α_Gene Franklin
␈↓ ↓H
␈↓ α_Richard Atkinson
␈↓ ↓H

␈↓ ↓H